Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
151	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
152	Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK Add to Reading List Source URL: fct2013.csc.liv.ac.uk Language: English - Date: 2013-06-20 05:30:29 Mathematics Theoretical computer science Mathematical logic Fibonacci number LRS Algebraic geometry Thoralf Skolem Quantum computing
153	Abstract Privacy, Integrity, and Incentive-Compatibility in Computations with Untrusted Parties Sheng Zhong 2004 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-07-28 23:00:33 Security Cryptography Computing Formal sciences Theoretical computer science Secure multi-party computation Cryptographic protocol Mobile agent Algorithm Transmission Control Protocol Computer security
154	Curriculum Vitae Eran Halperin Updated to : April 26, 2016. Affiliation: Associate Professor, Blavatnik School of Computer Science, Tel-Aviv University Associate Professor, The Department of Molecular Microbiology and Bi Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2016-04-26 16:29:33 Bioinformatics Academia Biology Computational science Mathematical and theoretical biology Research in Computational Molecular Biology Computational biology Ron Shamir Computational genomics Intelligent Systems for Molecular Biology Journal of Computational Biology Weizmann Institute of Science
155	CS264: Homework #1 Due by the beginning of class on Wednesday, October 1, 2014 Instructions: (1) Form a group of 1-3 students. You should turn in only one write-up for your entire group. (2) Turn in your solutions at htt Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-09-29 11:39:15 Computational complexity theory Mathematics Applied mathematics Packing problems Operations research Algorithm Mathematical logic Theoretical computer science Online algorithm Bin packing problem Sorting algorithm Knapsack problem
156	A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Programming paradigms Computing Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Logic programming Functional programming Algorithm Programming language Evaluation
157	A High-School Program in Computer Science Judith Gal-Ezer∗ Catriel Beeri† Amiram Yehudai§ Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Engineering Computing Software engineering Computer engineering Computer science Electrical engineering Electronic engineering Programming language Theoretical computer science Programming paradigm Computer Modular programming
158	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
159	COMMENTARY Considerations of thin and fat Technological innovations Add to Reading List Source URL: uaw5810.org Language: English - Date: 2013-03-18 20:39:32 Academia Postdoctoral research Mathematics Theoretical computer science Education Computability theory National Postdoctoral Association Turing machine Models of computation UAW Local Alan Turing Community
160	Estimation d’arrondis, analyse de stabilité des grands codes de calcul numérique Jean-Marie Chesneaux, Fabienne Jézéquel, Jean-Luc Lamotte, Jean Vignes Laboratoire d’Informatique de Paris 6, P. and M. Curie Unive Add to Reading List Source URL: www.gdr-mascotnum.fr Language: English Computer arithmetic Mathematics Arithmetic Numerical analysis Computing Theoretical computer science IEEE standards Rounding Theory of computation Precision Signed zero Associative property

UPDATE